Induktive Definitionen und Dilatoren

نویسنده

  • Wilfried Buchholz
چکیده

In this paper we give a new and comparatively simple proof of the following theorem by Girard [1]: "If Vx e (9t y ~ (9~p(x, y) (where the relation ~p is arithmetic and positive in Kleene's C), then there exists a recursive Dilator D such that V~ > co Vx ~ (9<~t y~(9<~ y). '' The essential feature of our proof is its very direct definition of the dilator D. Within a certain infinitary cutfree system of"inductive logic" (which in fact is a modification of Girard's system in [1]) we construct in a uniform way for each ordinal ~ a derivation T~ of the formula Vx ~ (9 < ~ t y ~ (91p(x, y), and then define D immediately from the family (T~)~o,. Especially we set D(~):=KleeneBrouwer length of T~.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Eine Untersuchung der Potentiale automatisierter Abstraktionsansätze für Geschäftsprozessmodelle im Hinblick auf die induktive Entwicklung von Referenzprozessmodellen

In der Literatur wurde bereits eine Reihe von Ansätzen zur Abstraktion für Geschäftsprozessmodelle identifiziert und darüber hinaus verschiedene allgemeine Anwendungsszenarien vorgestellt. Die induktive Entwicklung von Referenzmodellen stellt eine weitere mögliche Anwendung bereits bestehender Abstraktionsansätze dar. Dieser Beitrag zielt darauf ab, Abstraktion in Geschäftsprozessmodellen im Al...

متن کامل

[The beta draft of the ICD-11 chapter on mental and behavioural disorders].

Die 11. Revision der Internationalen Klassifikation der Krankheiten (ICD-11) wird im Jahr 2018 ver-öffentlicht werden. Der sogenannte Beta-Entwurf des Kapitels über Psychische und Verhaltensstörungen ist jedoch bereits jetzt online verfügbar unter Dieser Entwurf enthält die Definitionen der vers-chiedenen Erkrankungen (Zusammenfassung von etwa 100 bis 125 Wörter pro Definition), die Ein-und Aus...

متن کامل

Transaktionen in föderierten Datenbanksystemen unter eingeschränkten Isolation-Levels

..................................................................................................... 9 ZUSAMMENFASSUNG.................................................................................. 11 SUMMARY ..................................................................................................... 13 1 EINLEITUNG......................................................................

متن کامل

Protokollkomposition und Komplexität

Um dem Bedarf der modernen Kryptographie an rigorosen und mächtigen Sicherheitsdefinitionen zu genügen, sind in den letzten Jahren sogenannte simulationsbasierte Sicherheitsmodelle mit Umgebung populär geworden. Diese kommen jedoch in vielen Varianten, und es ist nicht offensichtlich, in welcher Relation diese Varianten stehen, das heißt welche Definitionen welche implizieren und welche Begriff...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Arch. Math. Log.

دوره 27  شماره 

صفحات  -

تاریخ انتشار 1988